Изложен подход к использованию средств языка XML для спецификации межзадачных и внешних интерфейсов в программных приложениях реального времени. Спецификации позволяют представлять множество задач, составляющих программное приложение; последовательность сегментов кода в каждой из задач; множество интерфейсных элементов, обеспечивающих межзадачные связи; множество датчиков и эффекторов, реализующих связь программного приложения с внешним оборудованием. Элементы спецификации снабжаются динамическими характеристиками исполнения моделируемых объектов. Обработка спецификаций позволяет проверять гарантии своевременности выполнения функций системы реального времени.
При построении автономных систем реального времени (СРВ) необходимо решать задачу оптимальной многозадачной загрузки ряда параллельно функционирующих цифровых сигнальных процессоров. Одним из резервов достижения необходимого результата выступает реализация выборок из сигналов датчиков информации о величине сигнала наиболее редко во времени. При этом необходимо обеспечивать линейную или ступенчатую аппроксимацию сигнала по выборкам с допустимой погрешностью восстановления. Одной из системных задач этих процессоров является фильтрация сигналов или ограничение спектра до частоты среза. Отличительной особенностью предлагаемого в статье подхода является выполнение условия: если измерение этой частоты затруднено (например, в электромеханических средствах СРВ), то для таких сигналов предложено согласовывать максимальные величины параметров гармонической полуволны: погрешность аппроксимации, скорость и ускорение. Исследование открывает перспективу применения новых подходов по дискретизации времени сигналов в амплитудно-временной области и определение для таких сигналов эквивалентной частоты среза спектра сигнала. В настоящей статье получены зависимости величины единицы системного времени ввода-вывода данных от степени согласования между собой максимальных величин параметров сигнала. Математическая модель экстремального поведения сигнала между двумя соседними выборками задана в виде гармонической полуволны. Исследование распространено также на выпуклые составные гармонические функции, по которым сигнал может отклоняться от результатов линейной или ступенчатой аппроксимации сигнала по этим выборкам. Проведено сравнение моделей по величине относительных интервалов дискретизации времени, зависящих от степени согласования максимальных параметров гармонической полуволны. При сравнении, кроме этих максимальных параметров, учтена связь максимальной скорости сигнала с погрешностью аппроксимации выборок ступеньками и связь максимального ускорения сигнала с максимальной погрешностью линейной аппроксимации. Результаты позволяют определять длительности интервалов равномерной дискретизации времени сигнала по результатам обследования объекта управления, обосновывают существенное увеличение интервала дискретизации времени или аналогичное увеличение числа решаемых задач в единицу системного времени.
В ряду вопросов, возникающих в ходе разработки программных комплексов для СРВ, необходимо решать как общие для многозадачных систем вопросы обеспечения логической корректности создаваемой системы (сохранение целостности информационных ресурсов, исключения возможности взаимного блокирования задач), так и специфические для СРВ вопросы динамической корректности (своевременности исполнения задач). Решение этих вопросов в конечном счете сводится к проверке корректности размещения в теле каждой из задач синхронизирующих операторов, обеспечивающих согласованное исполнение задач. Такая проверка корректности осуществляется статически. С этой целью строятся модели, отражающие размещение синхронизирующих операторов в задачах приложения.
В настоящей статье предлагаются методы обработки таких моделей посредством построения специальных многодольных графов — графов зависимостей синхронизирующих операторов. Представляются две разновидности таких графов: а) графы связок, обеспечивающие проверку логической корректности многозадачных приложений, (корректность пересечений пар критических интервалов); и б) графы связок и критических интервалов, обеспечивающие проверку динамической корректности приложений для СРВ.
Рассматриваются методы контроля доступа задач к разделяемым ресурсам в программных приложениях для систем реального времени. Приводится детальное представление двух процедур наследования приоритетов задач: непосредственной и транзитивной. Сформулированы достаточные условия, при которых применение непосредственной процедуры предотвращает инверсию приоритетов. Предложена модификация транзитивной процедуры снимающая известные ограничения на структуру приложения, накладываемые ее традиционной реализацией. Эта модификация, кроме того, обеспечивает динамическое обнаружение некорректных ситуаций типа взаимного блокирования задач с возможностью запланированной реакции на такие ситуации.
Одним из подходов к обнаружению сетевых аномалий является анализ рядов показателей функционирования сети. Характеристики, рассчитанные по вейвлет-коэффициентам, действительно, более чувствительны к изменениям ряда, чем характеристики, рассчитанные непосредственно по ряду, но при этом требуют большего объема вычислений, поэтому спектрально-временные алгоритмы, безусловно, подлежат оптимизации для применения в системах реального времени. Кроме того, существуют различные подходы к выполнению вейвлет-разложений, каждый из которых занимает свое место по информативности (по количеству уточняющих коэффициентов), области достоверных значений, вычислительной сложности преобразований. В статье предлагается обоснованный подход к выполнению таких алгоритмов для применения в режиме реального времени в системах обнаружения аномалий телекоммуникационных данных.
Представлен метод оценки продолжительности обработки внешних событий программными приложениями в распределенных системах реального времени. Показано, что на выполнимость таких приложений могут влиять вариации продолжительности исполнения отдельных задач и передачи отдельных сообщений. Такое влияние необходимо учитывать при оценке выполнимости цепочек задач, участвующих в реакции на конкретные типы внешних событий.
Построен графический формализм «маршрутные сети» для представления структуры программных приложений реального времени. Формализм ориентирован на проверку корректности межзадачных интерфейсов. Определены границы применимости методов анализа корректности межзадачных связей на основе использования графов состояний и переходов. На основе введения понятия профиля задачи построен метод оценки значений фактора блокирования в системах со сцепленными критическими интервалами доступа к разделяемым ресурсам.
Дан краткий перечень ключевых результатов по анализу выполнимости приложений реального времени, реализуемых на многоядерных процессорах с исполь- зованием различных дисциплин планирования. Для дисциплин планирования со стати- ческими приоритетами задач предложен метод оценки времени отклика задач. Для дис- циплин пропорционального планирования с квантованием и без квантования времени даны оценки числа точек перепланирования и числа переключений контекста.
1 - 8 из 8 результатов